منابع مشابه
Sal 2
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and witness model checkers. The bounded model checker can use several different SAT solvers, while the infinite bounded model checker similarly can use several different ground decision procedures. SAL 2 provides a scripta...
متن کاملTimed Systems in SAL
The Symbolic Analysis Laboratory (SAL) is a set of tools for the specification, exploration, and verification of state-transition systems. SAL includes symbolic model-checking tools based on solvers and decision procedures for linear arithmetic, uninterpreted functions, and propositional logic, among others. This enables the analysis of a variety of infinite-state systems. In particular, SAL ca...
متن کاملAutomated Test Generation with SAL
We describe sal-atg, a tool for automated test generation that will be distributed as part of the next release of SAL. Given a SAL specification augmented with Boolean trap variables representing test goals, sal-atg generates an efficient set of tests to drive the trap variables to TRUE; SAL specifications are typically instrumented with trap variables representing structural coverage criteria ...
متن کاملThe SAL Integrated Cognitive Architecture
Over the last two decades, the complementary properties of symbolic and connectionist systems have led to a number of attempts at hybridizing the two approaches to leverage their strengths and alleviate their shortcomings. The fact that those attempts have generally fallen short of their goals largely reflects the difficulties in integrating computational paradigms of a very different nature wi...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
پژوهشنامه فلسفه دینجلد ۱۰، شماره ۲، صفحات ۱۴۹-۱۵۸
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023